2

Using timed automata for the verification of iec 61499 applications

Year:
2004
Language:
english
File:
PDF, 8.46 MB
english, 2004